$\forall$$a$:$\mathbb{Z}$. divides(1; $a$)